автоматный язык

См. также в других словарях:

• Автоматный язык — …   Википедия

• Лемма о разрастании — Лемма о накачке, или лемма о разрастании (англ. pumping lemma) в теории автоматов важная лемма, позволяющая во многих случаях проверить, является ли данный язык автоматным. Поскольку все конечные языки являются автоматными, эту проверку… …   Википедия

• Лемма о накачке — Лемма о накачке, или лемма о разрастании (англ. pumping lemma) в теории автоматов важная лемма, позволяющая во многих случаях проверить, является ли данный язык автоматным. Поскольку все конечные языки являются автоматными, эту проверку имеет… …   Википедия

• Автоматное программирование — Автоматное программирование  это парадигма программирования, при использовании которой программа или её фрагмент осмысливается как модель какого либо формального автомата. В зависимости от конкретной задачи в автоматном программировании… …   Википедия

• Синтаксическая диаграмма — Синтаксическая диаграмма  это направленный граф с одним входным ребром и одним выходным ребром и помеченными вершинами. Синтаксическая диаграмма задаёт язык. Цепочка пометок при вершинах на любом пути от входного ребра к выходному  это… …   Википедия

• Теорема Клини — Главный тезис Теоремы Клини: «Классы регулярных множеств и автоматных языков совпадают». Доказательство теоремы Клини Любой граф переходов конечного автомата всегда можно представить в нормализованной форме, в которой только одна начальная… …   Википедия

• Инцидент в Бендерах (июнь 1992) — У этого термина существуют и другие значения, см. Инцидент в Бендерах (апрель 1992). Инцидент в Бендерах Приднестровский конфликт Расположение …   Википедия

• Битва за Бендеры (1992) — У этого термина существуют и другие значения, см. Битва за Бендеры. Битва за Бендеры Приднестровский конфликт …   Википедия

• Суверенитет — (Sovereignty) Суверенитет это независимость государства от других стран Суверенитет России и его проблемы, суверенитет Украины, суверенитет республики Беларусь, суверенитет Казахстана, суверенитет Чечни, Проблемы суверенитета стран Европы,… …   Энциклопедия инвестора

• ГРАММАТИКА АВТОМАТНАЯ — грамматика конечно автоматная, грамматика с конечным числом состояний, грамматика бесконтекстная, каждое правило к рой имеет вид или где вспомогательные символы, а один из основных символов. (Иногда допускаются также правила вида где пустая… …   Математическая энциклопедия

• История Южной Осетии — Содержание 1 Древнейший период на территории Южной Осетии 1.1 Описание границ Осетии в XIX веке …   Википедия